Generic programming - PDFSEARCH.IO - Document Search Engine

Generic programming
Results: 1118

#	Item
21	Comparing Datatype Generic Libraries in Haskell Alexey Rodriguez Yakushev Johan Jeuring Patrik Jansson Alex Gerdes Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2011-06-24 04:56:27 Software engineering Declarative programming Computing Data types Functional languages Type theory Functional programming Generic programming Dependently typed programming Generalized algebraic data type ATS Haskell
22	Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types Add to Reading List Source URL: tomasp.net Language: English Software engineering Computer programming Computing Data types Functional languages Type theory Recursion Functional programming OCaml Caml Recursive data type ML
23	The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2016-04-25 11:00:25 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Data types OCaml Generic programming Modular programming Module Set Coupling
24	THE GENERIC MAPPING TOOLS GMT API Documentation ReleaseP. Wessel, W. H. F. Smith, R. Scharroo, J. Luis, and F. Wobbe Add to Reading List Source URL: gmt.soest.hawaii.edu Language: English - Date: 2015-11-12 14:14:05 Software Computing Application software Array programming languages Earth sciences graphics software Parallel computing Generic Mapping Tools Application programming interface MATLAB Fortran F
25	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
26	Runtime Concepts for the C++ STL Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:33:34 C++ Software engineering Computer programming Generic programming C++11 Standard Template Library Template Concepts Sequence container Iterator Associative containers Typename
27	DMMO Dredging Characterization Data Template v.3a - Quick Start The DMMO template is designed for dredged material characterization information to be provided to the DMMO in a standardized format, without the need for po Add to Reading List Source URL: www.dmmosfbay.org Language: English - Date: 2016-05-06 14:20:42 C++ Software engineering Scripting languages Generic programming Metaprogramming Template Computer programming
28	GEOSBeyond the Mouse: Computer Programming and Automation for Geoscientists (Fall 2014) Add to Reading List Source URL: www.uaf.edu Language: English - Date: 2015-09-09 19:41:50 Software Application software Array programming languages Econometrics software Linear algebra MATLAB Mathematical software Parallel computing Generic Mapping Tools Homework Unix Computer mouse
29	Microsoft Word - CEDEN template Changes Add to Reading List Source URL: ceden.org Language: English - Date: 2016-01-25 10:58:39 C++ Metaprogramming Generic programming Template Submittals
30	A Generic Algorithm Template for Divide-and-conquer in Multicore Systems Carlos H. Gonz´alez and Basilio B. Fraguela Depto. de Electr´onica e Sistemas Universidade da Coru˜na A Coru˜na, Spain {cgonzalezv, basilio.fra Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2010-07-05 09:09:38 Computer programming Software engineering Computing C++ Concurrent programming languages Parallel computing Theoretical computer science Application programming interfaces Algorithmic skeleton Recursion Divide and conquer algorithms Algorithm